Tootfinder

Comparing Session Type Systems derived from Linear Logic
Bas van den Heuvel, Jorge A. Pérez
https://arXiv.org/abs/2401.14763 https://…

Comparing Session Type Systems derived from Linear Logic
Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong logical foundations via Curry-Howard correspondences with linear logic, a resource-aware logic that naturally captures structured interactions. These logical foundations provide an elegant framework to specify and (statically) verify message-passing processes. In this paper, we rigorously compare different type syste…

This https://arxiv.org/abs/2402.05224 has been replaced.
link: https://scholar.google.com/scholar?q=a

VerAs: Verify then Assess STEM Lab Reports
With an increasing focus in STEM education on critical thinking skills, science writing plays an ever more important role in curricula that stress inquiry skills. A recently published dataset of two sets of college level lab reports from an inquiry-based physics curriculum relies on analytic assessment rubrics that utilize multiple dimensions, specifying subject matter knowledge and general components of good explanations. Each analytic dimension is assessed on a 6-point scale, to provide detai…

Il cielo (folk/rock) d’Irlanda – intervista a John Vignola
https://hl.museostorico.it/historylabmagazine/punti-di-vista/john-vignola-il-cielo-folk-rock-dirlanda/

John Vignola. Il cielo (folk/rock) d’Irlanda
Sono molti gli indizi che svelano il rapporto (intensissimo) dell’Irlanda con la musica: i concerti dal vivo in ogni pub, l’arpa come emblema ufficiale fin dal Medioevo e oggi impressa nelle monete da due euro, i testi di denuncia che accomunano folk tradizionale e artisti diventati star internazionali. Ne parla con la consueta verve e competenza John Vignola, giornalista, critico musicale e conduttore radiofonico.

Flash-Galaxien-Parade! 💍
Lauter handgemalte #wandklexschmuck- Einzelstücke, jedes also nur 1x so verfügbar. Zu finden auf #artjewelry

This https://arxiv.org/abs/2402.09015 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Towards better Human-Agent Alignment: Assessing Task Utility in LLM-Powered Applications
The rapid development in the field of Large Language Models (LLMs) has led to a surge in applications that facilitate collaboration among multiple agents to assist humans in their daily tasks. However, a significant gap remains in assessing whether LLM-powered applications genuinely enhance user experience and task execution efficiency. This highlights the pressing need for methods to verify utility of LLM-powered applications, particularly by ensuring alignment between the application's functi…

LineageOS 21 auf Basis von Android 14 verfügbar
Das alternative Smartphone-Betriebssystem LineageOS gibt es jetzt in Version 21 auf Basis von Android 14. Zu den Neuerungen gehört eine frische Fotogalerie-App.
https://www.

What makes the AI helpers like ChatGPT or Ollama cool is the small stuff, for instance I know you can do stuff on the Mac with automations and Shortcuts, have written some stuff and for basic tasks its fairly easy to clickyclicky (I declare this to be a valid verb) something together, but I have no time to actually go and explore what is really possible, so having ChatGPT coming up with a Shortcuts solution and learning something new is really cool and knowledge that I can harness in the fut…

Dermacen Analytica: A Novel Methodology Integrating Multi-Modal Large Language Models with Machine Learning in tele-dermatology
Dimitrios P. Panagoulias, Evridiki Tsoureli-Nikita, Maria Virvou, George A. Tsihrintzis
https://arxiv.org/abs/2403.14243

Dermacen Analytica: A Novel Methodology Integrating Multi-Modal Large Language Models with Machine Learning in tele-dermatology
The rise of Artificial Intelligence creates great promise in the field of medical discovery, diagnostics and patient management. However, the vast complexity of all medical domains require a more complex approach that combines machine learning algorithms, classifiers, segmentation algorithms and, lately, large language models. In this paper, we describe, implement and assess an Artificial Intelligence-empowered system and methodology aimed at assisting the diagnosis process of skin lesions and …